Type-checking move-up-slow
...action passes type checking.
Type-checking move-down-slow
...action passes type checking.
Type-checking move-up-fast
...action passes type checking.
Type-checking move-down-fast
...action passes type checking.
Type-checking board
...action passes type checking.
Type-checking leave
...action passes type checking.
Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 16
1:
(board p2 fast1 n3 n0 n1)
 
2:
(move-up-fast fast1 n3 n4)
 
3:
(board p3 fast1 n4 n1 n2)
 
4:
(move-up-fast fast1 n4 n5)
 
5:
(leave p2 fast1 n5 n2 n1)
 
6:
(leave p3 fast1 n5 n1 n0)
 
7:
(board p5 fast1 n5 n0 n1)
 
8:
(move-down-fast fast1 n5 n4)
 
9:
(board p0 fast1 n4 n1 n2)
 
10:
(move-down-fast fast1 n4 n2)
 
11:
(leave p0 fast1 n2 n2 n1)
 
12:
(board p4 fast1 n2 n1 n2)
 
13:
(move-up-fast fast1 n2 n4)
 
14:
(leave p4 fast1 n4 n2 n1)
 
15:
(move-down-fast fast1 n4 n0)
 
16:
(leave p5 fast1 n0 n1 n0)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (passenger-at p2 n3)
Deleting (passengers fast1 n0)
Adding (boarded p2 fast1)
Adding (passengers fast1 n1)

Checking next happening (time 2)
Deleting (lift-at fast1 n3)
Adding (lift-at fast1 n4)
Updating (total-cost) (0) by 4 increase

Checking next happening (time 3)
Deleting (passenger-at p3 n4)
Deleting (passengers fast1 n1)
Adding (boarded p3 fast1)
Adding (passengers fast1 n2)

Checking next happening (time 4)
Deleting (lift-at fast1 n4)
Adding (lift-at fast1 n5)
Updating (total-cost) (4) by 4 increase

Checking next happening (time 5)
Deleting (boarded p2 fast1)
Deleting (passengers fast1 n2)
Adding (passenger-at p2 n5)
Adding (passengers fast1 n1)

Checking next happening (time 6)
Deleting (boarded p3 fast1)
Deleting (passengers fast1 n1)
Adding (passenger-at p3 n5)
Adding (passengers fast1 n0)

Checking next happening (time 7)
Deleting (passenger-at p5 n5)
Deleting (passengers fast1 n0)
Adding (boarded p5 fast1)
Adding (passengers fast1 n1)

Checking next happening (time 8)
Deleting (lift-at fast1 n5)
Adding (lift-at fast1 n4)
Updating (total-cost) (8) by 4 increase

Checking next happening (time 9)
Deleting (passenger-at p0 n4)
Deleting (passengers fast1 n1)
Adding (boarded p0 fast1)
Adding (passengers fast1 n2)

Checking next happening (time 10)
Deleting (lift-at fast1 n4)
Adding (lift-at fast1 n2)
Updating (total-cost) (12) by 7 increase

Checking next happening (time 11)
Deleting (boarded p0 fast1)
Deleting (passengers fast1 n2)
Adding (passenger-at p0 n2)
Adding (passengers fast1 n1)

Checking next happening (time 12)
Deleting (passenger-at p4 n2)
Deleting (passengers fast1 n1)
Adding (boarded p4 fast1)
Adding (passengers fast1 n2)

Checking next happening (time 13)
Deleting (lift-at fast1 n2)
Adding (lift-at fast1 n4)
Updating (total-cost) (19) by 7 increase

Checking next happening (time 14)
Deleting (boarded p4 fast1)
Deleting (passengers fast1 n2)
Adding (passenger-at p4 n4)
Adding (passengers fast1 n1)

Checking next happening (time 15)
Deleting (lift-at fast1 n4)
Adding (lift-at fast1 n0)
Updating (total-cost) (26) by 13 increase

Checking next happening (time 16)
Deleting (boarded p5 fast1)
Deleting (passengers fast1 n1)
Adding (passenger-at p5 n0)
Adding (passengers fast1 n0)
Plan executed successfully - checking goal
Plan valid
Final value: 39 

Successful plans:
Value: 39
 <PATH_REMOVED> 39 

